Страница 5 из 10 Для создания средств представления непрерывного времени было предложено использовать исчисление событий, разработанное Ковальским и Серготом [854], а в дальнейшем появилось еще несколько вариантов исчисления событий [1341]. В [1392] представлен хороший краткий обзор. Джеймс Аллен предложил использовать для этой же цели временные интервалы [15], [16], указывая, что интервалы являются гораздо более естественным средством формирования рассуждений о продолжительных и одновременных событиях, чем ситуации. В [877], [878] впервые предложены "вогнутые" временные интервалы (интервалы с перерывами; по сути объединения обычных "выпуклых" временных интервалов) и для представления времени применены математические методы абстрактной алгебры. Аллен [17] систематически исследовал широкий спектр методов, которые могут применяться для представления времени. Шохем [1403] описал процедуру овеществления событий и предложил использовать для этой цели разработанную им новейшую схему. Между онтологией на основе событии, приведенной в данной главе, и анализом событий, выполненным философом Дональдом Давидсоном [328], имеются весьма важные аналогии. К тому же типу относятся хронологии (history), предложенные в работе Патрика Хейса [636]; аналогичной разновидностью представления во многом является также онтология вневременных событий (liquid event). Проблемы онтологического статуса веществ имеют длинную историю. Платон считал, что вещества — это абстрактные сущности, полностью отличающиеся от физических объектов; с его точки зрения следовало бы сказать, что кусок масла сделан из масла, , а не что кусок масла является элементом множества масла, Такая идея ведет к созданию иерархии веществ, в которой, например, несоленое масло UnsaltedButter является более конкретно определенным веществом, чем само масло Butter. Научная позиция, принятая в этой главе, согласно которой вещества представляют собой категорию объектов, была обоснована Ричардом Монтегю [1072]. Кроме того, эта позиция была принята и в проекте CYC. В [293] на эту позицию предпринята серьезная, но не настолько уж неотразимая атака. Альтернативный подход, упомянутый в данной главе, согласно которому масло представляет собой единственный объект, состоящий из всех маслоподобных объектов во вселенной, был первоначально предложен польским логиком Лесьневским [913]. В разработанной им мереологии (это название происходит от греческого слова, обозначающего "часть") используется отношение "часть—целое" в качестве замены математической теории множеств, в целях устранения таких абстрактных сущностей, как множества. Более удобное для чтения изложение этих идей приведено в [911], а в книге Гудмана The Structure of Appearance [579] эти идеи применяются для решения различных проблем в области представления знаний. Хотя в некоторых аспектах мереологический подход является весьма громоздким (например, в нем требуется отдельный механизм наследования, основанный на отношениях "часть—целое"), он получил поддержку Квайна [1253]. Гарри Бант [207] провел широкий анализ перспектив использования этого подхода в области представления знаний.
|